Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
991	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic
992	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
993	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
994	Advising students interested in Computers and Programming Both classes have no pre-reqs and assume no prior knowledge of programming. Any student may take them. CSCI 1101 Introduction to Computer Science Add to Reading List Source URL: www.bowdoindailysun.com Language: English - Date: 2015-04-10 09:00:32 Theoretical computer science Computer science Applied mathematics Mathematics Algorithm Mathematical logic
995	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Set-builder notation Formal methods Logic in computer science NP-complete problems Mathematics Mathematical logic Multiset
996	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
997	University of Edinburgh Division of Informatics Cricket visual homing Undergraduate Dissertation Cognitive Science Add to Reading List Source URL: v21.io Language: English - Date: 2012-09-05 19:41:21 Mathematical logic Theoretical computer science Cricket Gradient descent Applied mathematics Mathematics Algorithm
998	Tuesday June 9th, :00-10:10 Reception 10:10-10:30 Add to Reading List Source URL: ttl2015.irisa.fr Language: English - Date: 2015-05-07 02:45:30 Deduction Abstraction Axiology Leon Henkin First-order logic Modal logic Natural deduction Logic Mathematical logic Philosophical logic
999	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
1000	Is Math a Gift? Beliefs That Put Females at Risk Carol S. Dweck Stanford University In S.J. Ceci & W. Williams (Eds); Why aren’t more women in science? Top Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2015-06-08 23:07:45 Educational psychology Mathematical anxiety Mathematics education Ordinal collapsing function Mathematics Education Modal logic